∀F1,F2∈2^X(F1∩F2∈ℱ⇔F1,F2∈ℱ)